#!/usr/bin/python

from sys import argv

shash= open("hash.sh", "w")

i= 1
for file in argv[1:]:
	shash.write("mv " + file + " sol" + str(i) + ".pm\n")
	i+= 1

shash.close()

